(0 12 2)(1 20 5)(3 15 11)(4 10 7)(6 18 8)(9 16 14)(13 19 17)
ALLOWS (11/8)-SEQUENCE
1: (3 8 11)
(0 12 2)(1 20 5)(3)(4 10 7)(6 18 8 15 11)(9 16 14)(13 19 17)
2: (8 15 18)
(0 12 2)(1 20 5)(3)(4 10 7)(6 18 11)(8)(9 16 14)(13 19 17)(15)
3: (13 19 17)
(0 12 2)(1 20 5)(3)(4 10 7)(6 18 11)(8)(9 16 14)(13)(15)(17)(19)
4: (9 16 14)
(0 12 2)(1 20 5)(3)(4 10 7)(6 18 11)(8)(9)(13)(14)(15)(16)(17)(19)